functional cup product

函数的上积